| Paradigm(s) | multi-paradigm: structured, imperative, object-oriented, event-driven, functional, concurrent |
|---|---|
| Appeared in | 2002 |
| Designed by | Nick Benton, Luca Cardelli, Cédric Fournet |
| Developer | Microsoft Research |
| Typing discipline | static, strong, safe, nominative |
| Influenced by | C#, Join calculus |
| Influenced | Cω |
| Website | Polyphonic C# Homepage |
Polyphonic C# is an extension of the C# programming language.
It includes a new concurrency model in which objects can have both synchronous and asynchronous methods. The language is being developed by Nick Benton, Luca Cardelli and Cédric Fournet at Microsoft Research.
Polyphonic C# is based on the join-calculus developed at INRIA Rocquencourt by Cédric Fournet et al.
Polyphonic C# has been integrated with Cω.
|
|||||||||||||||||||||||||||||||||||||||||